Bigraphical Modelling of Architectural Patterns
نویسندگان
چکیده
Archery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)con guration combinators and constraints that all instances of a pattern must obey. Both types and instances of architectural patterns are semantically represented as bigraphical reactive systems and operations upon them as reaction rules. Such a bigraphical semantics provides a rigorous model for Archery patterns and reduces constraint veri cation in architectures to a type-checking problem.
منابع مشابه
Domain-Specific Modelling Languages in Bigraphs
Modelling is a ubiquitous activity in human endeavours, and the construction of informatic models of many kinds is the key to understanding and managing the complexity of an increasingly computational world. We advocate the use of domain-specific modelling languages, instantiated within a “tower” of models, in order to improve the utility of the models we build, and to ease the process of model...
متن کاملHigh - dimensional semiparametric bigraphical models
In multivariate analysis, a Gaussian bigraphical model is commonly used for modelling matrixvalued data. In this paper, we propose a semiparametric extension of the Gaussian bigraphical model, called the nonparanormal bigraphical model. A projected nonparametric rank-based regularization approach is employed to estimate sparse precision matrices and produce graphs under a penalized likelihood f...
متن کاملLayered Patterns in Modelling and Transformation of Service-Based Software Architectures
Service-oriented architecture is a recent paradigm for architectural design. The software engineering aspects in this context, that have not been sufficiently addressed, are software evolution and software migration. Architectures are of great importance if large software systems change. Architectural transformations can guide and make this change controllable. In this paper, we present a model...
متن کاملAuthor manuscript, published in "5th International Conference on Communications, Computers and Applications (MIC-CCA2012), Istanbul: Turkey (2012)" DEFINING AND EXECUTING BIGRAPHICAL MODEL IN MAUDE
Software architectures can help in specification, formal analysis and manipulation of complex and adaptive systems. Many languages and formalisms have been proposed for these tasks, especially those based on graph model. Bigraphical Reactive Systems (BRS) are an emerging graphical framework for specifying ubiquitous dynamic architectural systems. In this work, we propose using the K semantic fr...
متن کاملProgress Report Bigraphical Location Models
In this progress report we begin evaluation of how well-suited Høgh Jensen and Milner’s bigraphical reactive systems (BRSs) [JM04] are for modelling context-aware computing in ubiquitous systems. In this work we concentrate on the location aspect of context. First, we introduce the setting, motivate our work, and state our hypothesis. Then we present a digest of the research literature on locat...
متن کامل